6th Conference on automated deduction - New York, USA, June 7-9, 1982
- Författare
- Donald W. Loveland Conference on automated deduction 1982) New York :
- (Ed. by D.W. Loveland.)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | 1982 | Tyskland, Berlin, New York | 389 sidor. |